661. Symbolic model checking
پدیدآورنده: / by Kenneth L. McMillan
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Electronic digital computers - Circuits - Design - Data processing,Symbolic circuit analysis - Data processing,Logic design - Data processing
رده :
TK
7888
.
4
.
M43
1993
662. System analysis by digital computer
پدیدآورنده: Kuo,Franklin F.ed
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Engineering ، Electronic data processing,، System analysis,Programming ، Electronic digital computers
رده :
TA
345
.
K86
663. System analysis by digital computer
پدیدآورنده: Kuo, Franklin F
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Engineering-- Data processing,، System analysis,، Electronic digital computers-- Programming
رده :
TA
345
.
K86
664. System analysis by digital computer
پدیدآورنده: Kuo, Franklin F., 4391- ed
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Engineering- Data processing,، System analysis,، Electronic digital computers- Programming
رده :
TA
345
.
K86
665. System structure in data programs and computers
پدیدآورنده: / Lyle R. Johnson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic data processing,Electronic digital computers
رده :
651
.
8
J67
666. System structure in data, programs, and computers
پدیدآورنده: / [by] Lyle R. Johnson,Johnson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Electronic data processing,Electronic digital Computers
رده :
QA
76
.
J62
667. System structure in data, programs, and computers
پدیدآورنده: Johnson, Lyle R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic data processing,، Electronic digital computers
رده :
QA
76
.
J62
668. System structure in data, programs, and computers
پدیدآورنده: Johnson, Lyle R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Electronic data processing,، Electronic digital computers
رده :
QA
76
.
J62
669. Systems programming; concepts of operating and database systems
پدیدآورنده: / David K. Hsiao
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers - Programming,Electronic data processing
رده :
001
.
642
H873s
670. Technical et science informatiques : TSI
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic data processing - Periodicals , Electronic digital computers - Periodicals , Programming )Electronic computers( - Periodicals
رده :
QA
75
.
5
.
T43
1992
671. The Application of digital computers to structural engineering problems
پدیدآورنده: / D. M. Brotton
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Structural analysis (engineering),Electronic data processing - Civil engineering,Electronic digital computers
رده :
TA645
.
B75
672. The Handbook of Data Communications and Networks :
پدیدآورنده: by W.J. Buchanan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Operating systems (Computers)
رده :
TK5105
.
B995
2004
673. The Penguin dictioary of computers
پدیدآورنده: / [by] Anttony Chandor with John Graham, Robin Williamson
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic data processing-- Dictionaries,Electronic digital computers-- dictionaries
رده :
QA
76
.
15
.
C46
R
674. The Penguin dictionary of computers
پدیدآورنده: Chandor, Anthony
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Electronic data processing- Dictionaries,، Electronic digital computers- Dictionaries
رده :
QA
76
.
15
.
C46
1985
675. The Penguin dictionary of computers
پدیدآورنده: Chandor, Anthony
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع: Dictionaries ، Electronic data processing,Dictionaries ، Electronic digital computers
رده :
QA
76
.
15
.
C46
1981
676. The alaysis , design and implementation of infromation systems
پدیدآورنده: Lucas, Henry C
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Electronic dataa processing,، Electronic data processing departments,، Electronic digital computers - Programming
رده :
QA
76
.
L78
677. The algorithmic code of ethics :
پدیدآورنده: Jérôme Béranger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms-- Moral and ethical aspects.,Electronic data processing-- Moral and ethical aspects.,Information technology-- Moral and ethical aspects.,BUSINESS & ECONOMICS-- Business Ethics.,COMPUTERS-- Programming-- Algorithms.,Electronic data processing-- Moral and ethical aspects.,Information technology-- Moral and ethical aspects.
رده :
QA76
.
9
.
M65
678. The analysis, design, and implementation of information systems
پدیدآورنده: Lucas, Henry C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic data processing,، Electronic data processing departments,، Electronic digital computers-- Programming
رده :
QA
76
.
L78
1981
679. The analysis, design, and implementation of information systems
پدیدآورنده: Lucas, Henry C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic data processing,، Electronic data processing departments,، Electronic digital computers-- Programming
رده :
QA
76
.
L78
680. The analysis, design, and implementation of information systems
پدیدآورنده: Lucas, Henry C.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Electronic data processing,، Electronic data processing departments,، Electronic digital computers -- Programming
رده :
T
58
.
6
.
L79
1985
